Carl Jung and Wolfgang Pauli